
SCMI_XEN_DT_NAME = "${XEN_DT_SCMI}"
SCMI_DOMD_DT_NAME = "${RPI_SOC_FAMILY}-${MACHINE}-domd-scmi"
SCMI_DOMD_PCIE1_DT_NAME = "${RPI_SOC_FAMILY}-${MACHINE}-pcie1-scmi"

XEN_WIFI_PASSTHROUGH_DT_NAME = "wifi-passthrough"
DOMD_WIFI_DT_NAME = "${RPI_SOC_FAMILY}-${MACHINE}-wifi"
